Total Books: 1 - 5 /5
Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suite
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Lire la suite
How to Engineer Software: A Model-Based Approach / Steve Tockey
The book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software ...
Lire la suite
Interactive Systems Design, Specification, and Verification
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
Lire la suite
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lire la suite
Total Books: 1 - 5 /5
